Back Wiskundige logika Afrikaans ሒሳባዊ ሥነ አምክንዮ Amharic Lochica matematica AN منطق رياضي Arabic Lóxica matemática AST Riyazi məntiq Azerbaijani Матэматычная логіка Byelorussian Матэматычная лёгіка BE-X-OLD Математическа логика Bulgarian গাণিতিক যুক্তিবিজ্ঞান Bengali/Bangla
Die mathematischi Logik (früener Logistik, sümbolischi Logik, Metamathematik) isch e Däilgebiet vo dr Mathematik und vo dr formale Logik. Vilmol däilt mä si in d Däilgebiet Modälltheorii, Bewiistheorii, Mängileer und Rekursionstheorii ii. Die mathematischi Logik het wichdigi Biidrääg zu de Grundlaage vo dr Mathematik gmacht. Doorum isch si au under em Begriff Metamathematik bekannt.
Äi Aspäkt vo de Undersuechige vo dr mathematische Logik isch s Studium vo dr Usdruckssterki vo formale Logike und formale Bewiissüsteem. Zum d Komplexizidäät vo sonige Süsteem z mässe, cha mä feststelle, was mä mit ene cha bewiise oder definiere.
Früener het mä dr mathematische Logik au sümbolischi Logik hsäit, as Geegesatz zur filosofische Logik. Dä Naame brucht mä aber hützudags nume no für gwüssi Aspäkt vo dr Bewiistheorii.